112 research outputs found
Quantum walks on general graphs
Quantum walks, both discrete (coined) and continuous time, on a general graph
of N vertices with undirected edges are reviewed in some detail. The resource
requirements for implementing a quantum walk as a program on a quantum computer
are compared and found to be very similar for both discrete and continuous time
walks. The role of the oracle, and how it changes if more prior information
about the graph is available, is also discussed.Comment: 8 pages, v2: substantial rewrite improves clarity, corrects errors
and omissions; v3: removes major error in final section and integrates
remainder into other sections, figures remove
Representing Partitions on Trees
In evolutionary biology, biologists often face the problem of constructing a phylogenetic tree on a set X of species from a multiset Πof partitions corresponding to various attributes of these species. One approach that is used to solve this problem is to try instead to associate a tree (or even a network) to the multiset ΣΠconsisting of all those bipartitions {A,X − A} with A a part of some partition in Π. The rational behind this approach is that a phylogenetic tree with leaf set X can be uniquely represented by the set of bipartitions of X induced by its edges. Motivated by these considerations, given a multiset Σ of bipartitions corresponding to a phylogenetic tree on X, in this paper we introduce and study the set P(Σ) consisting of those multisets of partitions Πof X with ΣΠ= Σ. More specifically, we characterize when P(Σ) is non-empty, and also identify some partitions in P(Σ) that are of maximum and minimum size. We also show that it is NP-complete to decide when P(Σ) is non-empty in case Σ is an arbitrary multiset of bipartitions of X. Ultimately, we hope that by gaining a better understanding of the mapping that takes an arbitrary partition system Πto the multiset ΣΠ, we will obtain new insights into the use of median networks and, more generally, split-networks to visualize sets of partitions
Computation by measurements: a unifying picture
The ability to perform a universal set of quantum operations based solely on
static resources and measurements presents us with a strikingly novel viewpoint
for thinking about quantum computation and its powers. We consider the two
major models for doing quantum computation by measurements that have hitherto
appeared in the literature and show that they are conceptually closely related
by demonstrating a systematic local mapping between them. This way we
effectively unify the two models, showing that they make use of interchangeable
primitives. With the tools developed for this mapping, we then construct more
resource-effective methods for performing computation within both models and
propose schemes for the construction of arbitrary graph states employing
two-qubit measurements alone.Comment: 13 pages, 18 figures, REVTeX
Approximating the Minimum Equivalent Digraph
The MEG (minimum equivalent graph) problem is, given a directed graph, to
find a small subset of the edges that maintains all reachability relations
between nodes. The problem is NP-hard. This paper gives an approximation
algorithm with performance guarantee of pi^2/6 ~ 1.64. The algorithm and its
analysis are based on the simple idea of contracting long cycles. (This result
is strengthened slightly in ``On strongly connected digraphs with bounded cycle
length'' (1996).) The analysis applies directly to 2-Exchange, a simple ``local
improvement'' algorithm, showing that its performance guarantee is 1.75.Comment: conference version in ACM-SIAM Symposium on Discrete Algorithms
(1994
On disjoint matchings in cubic graphs
For and a cubic graph let denote the maximum number
of edges that can be covered by matchings. We show that and . Moreover, it turns out that
.Comment: 41 pages, 8 figures, minor chage
Spectral Gap Amplification
A large number of problems in science can be solved by preparing a specific
eigenstate of some Hamiltonian H. The generic cost of quantum algorithms for
these problems is determined by the inverse spectral gap of H for that
eigenstate and the cost of evolving with H for some fixed time. The goal of
spectral gap amplification is to construct a Hamiltonian H' with the same
eigenstate as H but a bigger spectral gap, requiring that constant-time
evolutions with H' and H are implemented with nearly the same cost. We show
that a quadratic spectral gap amplification is possible when H satisfies a
frustration-free property and give H' for these cases. This results in quantum
speedups for optimization problems. It also yields improved constructions for
adiabatic simulations of quantum circuits and for the preparation of projected
entangled pair states (PEPS), which play an important role in quantum many-body
physics. Defining a suitable black-box model, we establish that the quadratic
amplification is optimal for frustration-free Hamiltonians and that no spectral
gap amplification is possible, in general, if the frustration-free property is
removed. A corollary is that finding a similarity transformation between a
stoquastic Hamiltonian and the corresponding stochastic matrix is hard in the
black-box model, setting limits to the power of some classical methods that
simulate quantum adiabatic evolutions.Comment: 14 pages. New version has an improved section on adiabatic
simulations of quantum circuit
Rainbow domination and related problems on some classes of perfect graphs
Let and let be a graph. A function is a rainbow function if, for every vertex with
, . The rainbow domination number
is the minimum of over all rainbow
functions. We investigate the rainbow domination problem for some classes of
perfect graphs
Machine speed scaling by adapting methods for convex optimization with submodular constraints
In this paper, we propose a new methodology for the speed-scaling problem based on its link to scheduling with controllable processing times and submodular optimization. It results in faster algorithms for traditional speed-scaling models, characterized by a common speed/energy function. Additionally, it efficiently handles the most general models with job-dependent speed/energy functions with single and multiple machines. To the best of our knowledge, this has not been addressed prior to this study. In particular, the general version of the single-machine case is solvable by the new technique in O(n2) time
Parallel iterative solvers for real-time elastic deformations
Physics-based animation of elastic materials allows to simulate dynamic deformable objects such as fabrics, human tissue, hair, etc. Due to their complex inner mechanical behaviour, it is difficult to replicate their motions interactively and accurately at the same time. This course introduces students and practitioners to several parallel iterative techniques to tackle this problem and achieve elastic deformations in real-time. We focus on techniques for applications such as video games and interactive design, with\ua0fixed and small hard time budgets\ua0available for physically-based animation, and where responsiveness and stability are often more important than accuracy, as long as the results are believable. The course focuses on solvers able to fully exploit the computational capabilities of modern GPU architectures, effectively solving systems of hundreds of thousands of nonlinear equations in a matter of few milliseconds. The course introduces the basic concepts concerning physics-based elastic objects, and provide an overview of the different types of numerical solvers available in the literature. Then, we show how some variants of traditional solvers can address real-time animation and assess them in terms of accuracy, robustness and performance. Practical examples are provided throughout the course, in particular how to apply the depicted solvers to Projective Dynamics and Position-based Dynamics, two recent and popular physics models for elastic materials
A Unified Approach to Distance-Two Colouring of Graphs on Surfaces
In this paper we introduce the notion of -colouring of a graph :
For given subsets of neighbours of , for every , this
is a proper colouring of the vertices of such that, in addition, vertices
that appear together in some receive different colours. This
concept generalises the notion of colouring the square of graphs and of cyclic
colouring of graphs embedded in a surface. We prove a general result for graphs
embeddable in a fixed surface, which implies asymptotic versions of Wegner's
and Borodin's Conjecture on the planar version of these two colourings. Using a
recent approach of Havet et al., we reduce the problem to edge-colouring of
multigraphs, and then use Kahn's result that the list chromatic index is close
to the fractional chromatic index.
Our results are based on a strong structural lemma for graphs embeddable in a
fixed surface, which also implies that the size of a clique in the square of a
graph of maximum degree embeddable in some fixed surface is at most
plus a constant.Comment: 36 page
- …